Showing results: 61 - 75 of 161 items found.
-
VerOCode -
Verocel, Inc.
VerOCode can use the same requirements-based tests that were used in functional testing to automate the capture and analysis of structural coverage testing without instrumenting the code under test. This is part of the process used at Verocel. It then records and displays the instructions executed in a program under test, and for conditional instructions, records and displays the state of the condition code at each execution of the instruction. Structural coverage is obtained at the machine code level using the integrated image, with results reported through an annotated program listing containing the source and machine code level expansion
-
Specador Documentation Generator -
AMIQ EDA S.R.L
Specador is a tool that automatically generates accurate HTML documentation from comments inserted in the source code. It works in batch mode (command line) and uses dedicated language parsers.
-
Green Hill Software, Inc.
Static analyzers attempt to find code sequences that may result in buffer overflows, resource leaks, or many other security and reliability problems. Source code analyzers are effective at locating a significant class of defects that are not detected by compilers during standard builds and often go undetected during run-time testing or typical field operation.
-
VectorCAST/Ada -
Vector Software Inc.
An integrated software test solution that significantly reduces the time, effort, and cost associated with testing Ada software components necessary for validating safety- and mission-critical embedded systems. VectorCAST/Ada parses your source code and invokes code generators to automatically create the test code (stubs and drivers) required to construct a complete, executable test harness.
-
SCA -
Synopsys, Inc.
Black Duck® software composition analysis (SCA) helps teams manage the security, quality, and license compliance risks that come from the use of open source and third-party code in applications and containers.
-
DG5000 Series -
Rigol Technologies Inc.
Dg5000 series has 6 functions, including any waveform generator, pulse generator, IQ baseband / if source, frequency hopping source, code generator and function generator. The series includes single and dual channel models. The functions of the two channels are completely equal, and the phase between channels is precisely adjustable.
-
GNATcoverage -
AdaCore Technologies, Inc.
GNATcoverage performs coverage analysis on both object code instruction and branch coverage and Ada and C language source code statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool. GNAT Pro add-on.
-
Curtiss-Wright Defense Solutions
Our tools and source code for use with our Xilinx Virtex and Kintex-based FPGA products include- FusionXF simplifies the development of FPGA-based application code by allowing developers to concentrate on their application without needing to worry about system integration of the hardware and operating system interface- The DDC family of IP cores supports decimation from 2 to 64 in complex mode and 2 to 32 in real mode
-
RapiCoverZero -
Rapita Systems Ltd.
*Collect coverage from systems that produce branch traces*Save time with efficient merge and mark verification workflow*Simplify verification through integration with your CI tool*Collect coverage for libraries without source code
-
CompCert -
AbsInt Angewandte Informatik GmbH
Meet the highest levels of software assurance by compiling your application with the only C compiler that's been formally verified to be free of miscompilation issues. All safety properties verified on the source code, e.g. with Astre, are guaranteed to hold for the generated executable as well.
-
LDS-7200 -
PSE Technology
5 nanometers tuning range• 10 picometer setpoint accuracy• 0.1 picometer resolution• 20mW output power• 0.005 dB power stability• Built-in coherence control• Integrated function generator• USB remote interface• Application program with source code
-
Testing Technologies
The Spirent SecurityLabs’ services are structured to produce high-impact results with minimal impact on the client organization. Our dedicated teams of experienced security professionals offer comprehensive scanning, penetration testing and monitoring services for networks, applications and devices, as well as source code analysis.
-
EMS-PT30C -
Progressive Industries
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
EMS-PT50C -
Progressive Industries
Progressive Industries Portable Electrical Management Systems (EMS) offer quick and easy RV electrical protection. A true plug-and-play application with no installation required. You will feel secure with multi-mode surge, voltage, polarity, and lost/open neutral protection. Each unit includes a digital display, scrolling continuously through the power source information: voltage(s), current frequency, error code, and previous error code (if applicable). Additionally, the computer is driven by state of the art microprocessors.
-
RapiTaskZero -
Rapita Systems Ltd.
*Gain insight into your application through scheduling analysis*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues *Compare scheduling algorithms from different RTOSs*Visualize scheduling behavior of libraries without source code